[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: afbjorklund

The full list of commands accepted by this bot can be found here.

The pull request process is described here

You seem to be installing docker.io, so you should get the latest available ?

FROM ubuntu:19.10
RUN apt-get update && apt-get install -y --no-install-recommends docker.io

https://packages.ubuntu.com/eoan/docker.io (currently 19.03.2-0ubuntu1)

So still the same major version (from last year), but a few minor versions behind.

Codecov Report

Merging #6618 into master will decrease coverage by 0.05%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master    #6618      +/-   ##
==========================================
- Coverage   37.56%   37.51%   -0.06%     
==========================================
  Files         138      138              
  Lines        8779     8792      +13     
==========================================
  Hits         3298     3298              
- Misses       5065     5080      +15     
+ Partials      416      414       -2

@medyagh : supposedly you could switch repositories, from ubuntu to docker ?

https://docs.docker.com/install/linux/docker-ce/ubuntu/

sudo add-apt-repository \
   "deb [arch=amd64] https://download.docker.com/linux/ubuntu \
   $(lsb_release -cs) \
   stable"

That will get you the newer versions:

containerd.io_1.2.12-1_amd64.deb
docker-ce-cli_19.03.6~3-0~ubuntu-eoan_amd64.deb
docker-ce_19.03.6~3-0~ubuntu-eoan_amd64.deb